first-order predicate calculus
un. 一阶谓词演算
[网络] 第一阶述语运算
热门查询
- Wokingham n. 沃金厄姆 (英国国会选区)
- anders [人名] 安德斯
- fancifully adv. 梦想地；奇异地；想像地
- armband n. 臂章，袖章；臂环
- toque n. 羽饰丝绒帽，无边女帽
- mediated vt. 仲裁，调停；调解（mediate的过去式及过去分词形式）
- innovation n. 创新，革新；新方法
- sippy 有吸嘴的
- egf abbr. epidermal growth factor 表皮生长要素，表皮生长因子
- carlin n. 巫婆，老妇人
- abnegate vt. 放弃；舍弃；禁忌
- gracefulness n. 温文，优雅；优美
- Udo n. 土当归
- CS abbr. 反恐精英（Counter-Strike）；碳钢（Carbon Steel）；文职人员（Civil Service）
- rapport n. 密切关系，交往；和谐一致 n. (Rapport)人名；(英)拉波特
- ascendance n. 优势；权势；支配地位（等于ascendence或者ascendancy）
- Copernicus n. 哥白尼（波兰天文学家）
- dissect vt. 切细；仔细分析 vi. 进行解剖；进行详细分析
- rewound v. 重绕；再上发条（rewind的过去分词）
- Steiner 斯坦纳（人名）
考试词汇表
- wellbore storage coefficient
- welt feather bending machine
- were in direct proportion to
- were in the inverse ratio of
- were only a question of time
- west highland white terriers
- western australia coral peas
- western ghats ra. (sahyadri)
- western narrow-mouthed toads
- westly wind drifting current
- westminster political system
- westphal-strumpell(syndrome)
- wet alarm valve installation
- wet and dry bulb thermometer
- wet and dry bulb thermometry
- wet and dry-bulb thermometer
- wet and-dry bulb thermometer
- wet metallurgical processing
- wet separating water impulse
- wet shaver with illumination
